Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This gentle introduction to logic and model theory is based on a systematic use of three important games in logic: the semantic game; the Ehrenfeucht-Fraïssé game; and the model existence game. The third game has not been isolated in the literature before but it underlies the concepts of Beth tableaux and consistency properties. Jouko Väänänen shows that these games are closely related and in turn govern the three interrelated concepts of logic: truth, elementary equivalence and proof. All three methods are developed not only for first order logic but also for infinitary logic and generalized quantifiers. Along the way, the author also proves completeness theorems for many logics, including the cofinality quantifier logic of Shelah, a fully compact extension of first order logic. With over 500 exercises this book is ideal for graduate courses, covering the basic material as well as more advanced applications.

Model theory --- Model theory. --- Logic, Symbolic and mathematical

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This is an up-to-date and integrated introduction to model theory, designed to be used for graduate courses (for students who are familiar with first-order logic), and as a reference for more experienced logicians and mathematicians. Model theory is concerned with the notions of definition, interpretation and structure in a very general setting, and is applied to a wide variety of other areas such as set theory, geometry, algebra (in particular group theory), and computer science (e.g. logic programming and specification). Professor Hodges emphasises definability and methods of construction, and introduces the reader to advanced topics such as stability. He also provides the reader with much historical information and a full bibliography, enhancing the book's use as a reference.

Model theory. --- Logic, Symbolic and mathematical --- Model theory

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Forcing (Model theory) --- Model theory --- Model theory. --- Logic, Symbolic and mathematical

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book models and simulates metaphysics by presenting the metaphysics of a model. The small size of the model makes it possible to treat metaphysical matters with a more than usual systematicity and comprehensiveness. In the mirror of sustained analogy, simulation-metaphysics offers a wealth of insights on the real thing: on the doctrines, the methods, and the epistemology of metaphysics.

Metaphysics. --- Model theory. --- Logic, Symbolic and mathematical --- Philosophy --- God --- Ontology --- Philosophy of mind --- Metaphysics --- Model theory

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the fifth publication in the Perspectives in Logic series, studies set-theoretic independence results (independence from the usual set-theoretic ZFC axioms), in particular for problems on the continuum. The author gives a complete presentation of the theory of proper forcing and its relatives, starting from the beginning and avoiding the metamathematical considerations. No prior knowledge of forcing is required. The book will enable a researcher interested in an independence result of the appropriate kind to have much of the work done for them, thereby allowing them to quote general results.

Forcing (Model theory) --- Axiomatic set theory. --- Axioms --- Logic, Symbolic and mathematical --- Set theory --- Model theory